1. An introduction to functional programming through Lambda calculus /
پدیدآورنده : Greg Michaelson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Functional programming (Computer science),Lambda calculus.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Functional programming (Computer science),Lambda calculus.,MATHEMATICS-- General.
رده :
QA76
.
6
.
M4854
2011eb
2. Implementation of functional languages : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003 : revised papers
پدیدآورنده : ]volume editiors, Phil Trinder, Greg Michaelson, Ricardo Pena[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
3145
3. Research directions in parallel functional programming /
پدیدآورنده : Kevin Hammond and Greg Michaelson (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Functional programming (Computer science)-- Research,Parallel programming (Computer science)-- Research
رده :
QA76
.
642
.
R48
1999
